Electronic design automation

Results: 1598



#Item
421Signoff / SystemVerilog / Power optimization / EDA database / Timing closure / Electronic engineering / Electronic design automation / Synopsys

Synopsys Professional Services Datasheet Tool and Methodology Consulting At-A-Glance ``

Add to Reading List

Source URL: www.synopsys.com

Language: English - Date: 2014-11-07 12:40:16
422Formal methods / Physical design / SystemVerilog / Synopsys / Formal verification / Verilog / Formal equivalence checking / Signoff / Electronic engineering / Electronic design automation / Hardware description languages

Datasheet Formality and Formality Ultra Equivalence Checking for DC Ultra and Design Compiler Graphical Overview

Add to Reading List

Source URL: www.synopsys.com

Language: English - Date: 2015-02-18 15:15:30
423Simulation software / Electronic design automation / Virtual reality / Computational science / Operations research / Simulation / Real-time simulation

The Role of Thermal-hydraulic System Codes in NPP Engineering Simulators and the ENEA Strategy M. Sepielli*, E. Negrenti, C. Parisi, M. Cappelli ENEA “Casaccia” Research Center Santa Maria di Galeria, 00123, Rome, It

Add to Reading List

Source URL: www.djs.si

Language: English - Date: 2012-07-16 15:42:38
424Constraint programming / Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Boolean satisfiability problem / Symbol / Tree automaton / Satisfiability / Theoretical computer science / Applied mathematics / Mathematics

Efficient Reasoning about Data Trees via Integer Linear Programming Claire David Leonid Libkin

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2010-12-15 16:00:04
425Electronic design automation / Electromagnetism / Technology / Digital electronics / Transistor / Potential applications of carbon nanotubes / Carbon nanotubes in medicine / Carbon nanotubes / Emerging technologies / Electronic engineering

Microsoft Word - pressrelease_Eng_final2.doc

Add to Reading List

Source URL: www.nedo.go.jp

Language: English - Date: 2015-03-23 01:32:10
426Standard cell / Signoff / SPICE / Verilog / Electronic circuit simulation / Synopsys / Signal integrity / Simucad / Electronic engineering / Electronic design automation / Digital electronics

Datasheet SiliconSmart Comprehensive Cell, I/O and Memory Characterization Overview

Add to Reading List

Source URL: www.synopsys.com

Language: English - Date: 2014-11-07 14:32:38
427Instruction set architectures / Logic design / SystemC / Simulation / Microcontroller / Logic simulation / ARM architecture / Electronic engineering / Digital electronics / Electronic design automation

Profiled Model Based Power Simulator for Side Channel Evaluation Nicolas Debande1,2 , Ma¨el Berthier1 , Yves Bocktaels1 and Thanh-Ha Le1 1 Morpho

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2012-12-16 09:22:52
428Field-programmable gate array / Digital electronics / Reconfigurable computing / Xilinx / Integrated circuits / Electronic design automation / Altera / Logic synthesis / Application-specific integrated circuit / Electronic engineering / Electronics / Fabless semiconductor companies

C:/Documents and Settings/BrianB/Desktop/Notes/work/HASH-Sha3/round 2/FPGA_examination/FPGA analysis - wout code/FPGAAnalysis.dvi

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2009-12-07 08:44:55
429Engineering / Signal integrity / Embedded system / Prototype / Reliability engineering / Application software / Electronics / Systems design / CR-5000 / Electronic engineering / Design / Electronic design automation

Microsoft PowerPoint - Electronics Design & Software Services - PNC INC..ppt

Add to Reading List

Source URL: www.pnconline.com

Language: English - Date: 2014-02-10 10:32:24
430Integrated circuits / Digital electronics / Physical Unclonable Function / Randomness / Field-programmable gate array / Placement / Place and route / Xilinx / Routing / Electronic engineering / Electronics / Electronic design automation

A Comparative Analysis of Delay Based PUF Implementations on FPGA Sergey Morozov, Abhranil Maiti, Patrick Schaumont, Virginia Polytechnic Institute and State University {morozovs, abhranil, schaum}@vt.edu

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2009-12-19 15:05:40
UPDATE